Theoretical Study on Mechanisms for Water Tree Diagnosis by AC Superposition Method
نویسندگان
چکیده
منابع مشابه
AC-Superposition with Constraints: No AC-Unifiers Needed
We prove the completeness of (basic) deduction strategies with constrained clauses modulo associativity and commutativity (AC). Here each inference generates one single conclusion with an additional equality s = AC t in its constraint (instead of one conclusion for each minimal AC-uniier, i.e. exponentially many). Furthermore, computing AC-uniiers is not needed at all. A clause C T ] ] is redun...
متن کاملMechanisms for positional signalling by morphogen transport: a theoretical study.
Gradients of cellular activities are ubiquitous in embryonic development. It is widely believed that the inhomogeneous spatial distribution of a morphogen would be able to set up such gradients. But how then does the morphogen propagate in the first place? Straightforward molecular diffusion is often proposed as a possible mechanism. We first show that, surprisingly, the mere binding of the dif...
متن کاملstudy of cohesive devices in the textbook of english for the students of apsychology by rastegarpour
this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...
Blast vibration modeling using linear superposition method
A linear superposition method was used for modeling the time history of the production blast vibrations and optimizing the blast sequence to reduce vibration levels in Sar-Cheshmeh copper mine, Kerman, Iran. A single-hole blast for modeling and two double-hole blasts with time delays of 25 and 65 ms between two holes for modeling validation were carried out. The generated vibrations were measur...
متن کاملMonotone AC-Tree Automata
We consider several questions about monotone AC-tree automata, a class of equational tree automata [21] whose transition rules correspond to rules in Kuroda normal form of context-sensitive grammars. Whereas it is known that this class has a decision procedure to determine if a given monotone AC-tree automaton accepts no term [23], other decidability and complexity results have not been well-in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEJ Transactions on Power and Energy
سال: 1999
ISSN: 0385-4213,1348-8147
DOI: 10.1541/ieejpes1990.119.4_491